định verb to fix; to appoint; to set; to assign vào giờ đã định a the...
lý noun reason; ground hợp lý reasonable Từ điển kỹ thuật mile...
nhúng verb to steep; to soak; to dip; to immerse nhúng vật gì vào nước...
định lý noun theorem Từ điển kinh doanh theorem định lý Coarse Coarse...
Câu ví dụ
He published his “embedding theorem” in 1981. Ông đã xuất bản định lý nhúng của mình vào năm 1981.
This is known as the Sobolev trace embedding theorem. Định lý Nhúng (The Sobolev imbedding Theorem).
Sobolev spaces can be defined by some growth conditions on the Fourier transforms; they and their embedding theorems are an important subject in functional analysis. Không gian Sobolev có thể được định nghĩa bằng điều kiện tăng dần của biến đổi Fourier; chúng và các định lý nhúng (embedding theorem) là một chủ đề quan trọng trong giải tích hàm.
However, the Whitney embedding theorem asserts every surface can in fact be embedded homeomorphically into Euclidean space, in fact into E4: The extrinsic and intrinsic approaches turn out to be equivalent. Tuy nhiên, định lý nhúng Whitney khẳng định rằng mọi mặt đều có thể nhúng đồng phôi vào một không gian Euclide, trong không gian E4: Cách định nghĩa ngoại hàm và nội tại là tương đương với nhau.
Among the audience at his talk at Princeton were John Ball, Andrew Wiles, John Forbes Nash, Jr., who had proved the Riemannian embedding theorem, and John Conway, the inventor of the cellular automaton game Life. Trong số những thính giả tham dự bài giảng của anh ở Princeton có John Ball , Andrew Wiles , John Forbes Nash , Jr., người đã chứng minh định lý nhúng Riemann , và John Conway, người đã phát minh ra cellular automata game Life (?) .
(In Conway’s view, Nash’s Nobel work is less interesting than the deep and difficult, albeit less useful, Nash embedding theorem, which states that every Riemann manifold can be isometrically embedded in Euclidean space.) (Theo quan điểm của Conway, công trình Nobel của Nash ít thú vị hơn so với định lý nhúng sâu và khó, mặc dù ít hữu ích hơn, trong đó tuyên bố rằng mọi đa tạp Riemann đều có thể được nhúng một cách định lượng vào không gian Euclide.)